201. Recursion theory
المؤلف: Shoenfield, Joseph R.)Joseph Robert(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
202. Recursion theory
المؤلف: Shoenfield, Joseph Robert, 7291-
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
1
203. Recursion theory
المؤلف: edited by Anil Nerode and Richard A. Shore
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
204. Recursion theory
المؤلف: / Joseph R. Shoenfield
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Recursion theory
رده :
QA9
.
6
.
S48
2001
205. Recursion theory
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
206. Recursion theory
المؤلف: Shoenfield, Joseph Robert
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
207. Recursion theory and computational complexity
المؤلف: G . Lolli)ED(
المکتبة: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع:
رده :
QA
9
,.
6
.
R4
2010
208. Recursion theory for metamathematics
المؤلف: Smullyan, Raymond M.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
209. Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
المؤلف: edited by H.-D. Ebbinghaus
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1141
210. Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
المؤلف: K. Ambos-Spies, G. H. Muller, G. E. Sacks )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1432
211. Recursion theory week: proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1432
212. Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1141
213. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
المؤلف: edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Recursion theory
رده :
QA
1
.
L4
v
.
1141
214. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
المؤلف: edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory
رده :
QA
9
.
6
.
R4
1984
215. Recursion theory week: proceedings of a conference held in Oberwolfach, west Germany, April 15-21, 1984
المؤلف: edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Recursion theory,، Representations of groups
رده :
QA
3
.
L28
no
.
1141
216. Recursive analysis
المؤلف: Goodstein, Reuben Louis
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
248
.
5
.
G6
217. Recursive aspects of descriptive set theory /
المؤلف: Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Descriptive set theory.,Recursion theory.,Descriptive set theory.,Deskriptive Mengenlehre.,Deskriptive Mengenlehre.,Recursie.,Recursion theory.,Rekursionstheorie.,Rekursionstheorie.,Verzamelingen (wiskunde)
رده :
QA248
.
M284
1985
218. Resources for teaching discrete mathematics :
المؤلف: edited by Brian Hopkins
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics-- Study and teaching (Higher)-- United States,Mathematics-- Study and teaching (Higher)-- United States
رده :
QA13
.
R4768
2009
219. Risk Theory
المؤلف: by Robert Eric Beard, Teivo Pentikäinen, Erkki Pesonen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Science (General).
220. Semantics of parallelism :
المؤلف: Michael W. Shields
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997